Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
911	Erkenn DOI[removed]s10670[removed]x ORIGINAL PAPER Ideal Negative Conceivability and the Halting Problem Manolo Martı´nez Add to Reading List Source URL: www.astrud.com Language: English - Date: 2012-04-19 10:38:57 Computer science Turing machine Models of computation Alan Turing Halting problem Computability Oracle machine Hypercomputation Description number Theoretical computer science Computability theory Theory of computation
912	Informatica special issue on 100 YEARS OF ALAN TURING AND 20 YEARS OF SLAIS Alan Mathison Turing (1912–1954) was an English mathematician, logician, cryptanalyst, and computer scientist. He was highly influential in t Add to Reading List Source URL: www.informatica.si Language: English - Date: 2012-10-25 10:36:31 Theoretical computer science Theory of computation Computability theory Philosophy of artificial intelligence Turing test Turing machine Hypercomputation Algorithm Donald Michie Alan Turing Computer science Artificial intelligence
913	The Intensional Content of Rice’s Theorem (Pearl) Andrea Asperti Department of Computer Science, University of Bologna Mura Anteo Zamboni 7, 40127, Bologna, ITALY [removed] Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2007-10-31 03:46:45 Mathematics Theory of computation Blum axioms Computable function ELEMENTARY Recursively enumerable set Smn theorem Computational complexity theory Lambda calculus Theoretical computer science Computability theory Applied mathematics
914	Australasian Journal of Philosophy Vol. 85, No. 1, pp. 93 – 115; March 2007 COMPUTATIONAL MODELLING VS. COMPUTATIONAL EXPLANATION: IS EVERYTHING A TURING MACHINE, AND Add to Reading List Source URL: www.umsl.edu Language: English - Date: 2007-03-29 09:12:42 Computability theory Theory of computation Alan Turing Models of computation Computational theory of mind Computational complexity theory Gualtiero Piccinini Computational resource Computation Theoretical computer science Computer science Applied mathematics
915	Chapter 9 Rewriting Nachum Dershowitz David A. Plaisted Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2005-03-20 12:18:38 Applied mathematics Logic in computer science Mathematical logic Rewriting Computability theory Semi-Thue system Differential equation Normal form Linear equation Theoretical computer science Mathematics Formal languages
916	The Dierential Lambda-Calculus Thomas Ehrhard and Laurent Regnier Institut de Mathématiques de Luminy, C.N.R.S. U.P.R[removed]removed] Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2001-05-31 09:45:10 Computability theory Lambda calculus Theoretical computer science Derivative Chain rule Integration by substitution State space Combinatory logic Heat equation Calculus Mathematical analysis Mathematics
917	PHYSICS, PHILOSOPHY AND QUANTUM TECHNOLOGY DAVID DEUTSCH Oxford University, Oxford, United Kingdom E-mail: [removed] Quantum theory and the classical theory of computation were perfected Add to Reading List Source URL: ricardo.ecn.wfu.edu Language: English - Date: 2003-06-02 00:00:01 Theory of computation Theoretical physics Quantum information science Quantum mechanics Quantum computer Theory of everything Quantum information Computation Qubit Physics Theoretical computer science Computability theory
918	Quantifying Morphological Computation Keyan Zahedi Nihat Ay SFI WORKING PAPER: [removed] Add to Reading List Source URL: www.santafe.edu Language: English - Date: 2013-03-06 12:51:44 Causality Model Self-organization Computability Knowledge Cybernetics Science Control theory
919	Π01 CLASSES AND STRONG DEGREE SPECTRA OF RELATIONS JOHN CHISHOLM, JENNIFER CHUBB, VALENTINA S. HARIZANOV, DENIS R. HIRSCHFELDT, CARL G. JOCKUSCH, JR., TIMOTHY MCNICHOLL, AND SARAH PINGREY Abstract. We study the weak tru Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-07-29 17:57:30 Mathematics Computer science Turing reduction Low Computable function Turing degree Function Recursive set Enumeration Computability theory Theoretical computer science Theory of computation
920	GENERIC COMPUTABILITY, TURING DEGREES, AND ASYMPTOTIC DENSITY CARL G. JOCKUSCH, JR. AND PAUL E. SCHUPP Abstract. Generic decidability has been extensively studied in group theory, and we now study it in the context of cl Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2013-02-15 20:06:55 Mathematics Computer science Computable function Recursive set Computation in the limit Generic-case complexity Turing reduction Halting problem Blum axioms Computability theory Theoretical computer science Theory of computation

UPDATE